r:CRng. Comm(|r|;*) 

latex

Up	rings 1
Definitions of Statement	Rng, CRng
Definitions	t  T, x:A. B(x), True, T, CRng, P  Q, SqStable(P), Rng
Lemmas	crng wf, rng times wf, rng car wf, sq stable comm